Handbook of Satisfiability (Frontiers in Artificial Intelligence and Applications, 336)
by Armin Biere,Marijn Heule,Hans Van Maaren,Toby Walsh
ISBN 13: 9781643681603
Format: Hardcover (1465 pages) Publisher: Ios Pr Inc Published: 05 May 2021
Save for later